منابع مشابه
Primitive recursion in niteness spaces
We study iteration and recursion operators in the multiset relational model of linear logic and prove them nitary in the sense of the niteness spaces recently introduced by Ehrhard. This provides a denotational semantics of Gödel's system T and paves the way for a systematic study of a large class of algorithms, following the ideas of Girard's quantitative semantics in a standard algebraic sett...
متن کاملConstructing Smooth Loop Spaces
We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions for the model space which, if satisfied, mean that a smooth structure exists. We also show how various desired properties can be derived from the model spac...
متن کاملSmoothing Loop Spaces
Using the theory of p-compact groups and surgery theory, we show that every quasifinite loop space is homotopy equivalent to a smooth manifold. 0. INTRODUCTION, STATEMENT OF RESULTS One of the motivating questions for surgery theory was whether all finite Hspaces are Lie groups up to homotopy equivalence. The question was answered in the negative by Hilton and Roitberg’s discovery of some H-spa...
متن کاملOn Loop Spaces of Configuration Spaces
This article gives an analysis of topological and homological properties for loop spaces of configuration spaces. The main topological results are given by certain choices of product decompositions of these spaces, as well as “twistings” between the factors. The main homological results are given in terms of extensions of the “infinitesimal braid relations” or “universal YangBaxter Lie relations”.
متن کاملRemark on Loop Spaces
This theorem may be proved as an application of Stasheff's theory of yl „-spaces, and has certainly been noted by Stasheff. A method of proof was outlined in [3] in order to prove Corollary 3.12 of that paper, but the proof was defective.2 We give here a proof whose structure is essentially dual to that of the structure of the proof of Theorem A in [l], but which is much simpler in detail. Just...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology
سال: 1968
ISSN: 0040-9383
DOI: 10.1016/0040-9383(68)90019-0